Logical omniscience as infeasibility

Logical omniscience as infeasibility

Article history: Available online 20 August 2013 MSC: 03B45 03B60 03F07 68Q17

Logical Omniscience: A Survey

Logics are powerful tools with which to reason about the behaviour of AI agents. A particular logic may provide an agent with an internal language with which it can represent and reason about the world, and act based upon its internal manipulation of this language. We can also use logics to reason about the behaviour of agents from an external perspective. For example, we could use a dynamic lo...

Logical omniscience and rational choice

It is well-known that usual doxastic models (epistemic logic, probability) suffer from strong idealizations. By extension, models of decision making that elaborate on these doxastic models (e.g., models of choice under set-theoretic uncertainty ([LR85], chap.13) and the expected utility model) inherit these idealizations. To improve doxastic models is therefore an important aspect of bounded ra...

Awareness, Negation and Logical Omniscience

General Epistemic Logics suffer from the problem of logical omniscience, which is that an agent’s knowledge and beliefs are closed under implication. There have been many attempts to solve the problem of logical omniscience. However, according to our intuition, sometimes an agent’s knowledge and beliefs are indeed closed under implication. Based on the notion of awareness, we introduce two kind...

Logical Omniscience and Rational Belief